Quadratic Automata
نویسندگان
چکیده
In this paper the notion of a quadratic automaton transformation is defined and studied. The automata considered transform infinite input sequences of elements from a finite commutative ring with identity to infinite output sequences. Results extending the linear automaton transformation theory of 4. Nerode are derived and two distinct approaches to machine realization arise depending upon whether 2 is invertible in the base ring or not. Such a naturally occurring quadratic map as the AND function of elementary switching theory is easily realized in this setting.
منابع مشابه
From Bidirectionality to Alternation
We describe an explicit simulation of 2-way nondeterministic automata by 1-way alternating automata with quadratic blow-up. We first describe the construction for automata on finite words, and extend it to automata on infinite words.
متن کاملSynchronizing Automata on Quasi-Eulerian Digraph
In 1964 Černý conjectured that each n-state synchronizing automaton posesses a reset word of length at most (n − 1). From the other side the best known upper bound on the reset length (minimum length of reset words) is cubic in n. Thus the main problem here is to prove quadratic (in n) upper bounds. Since 1964, this problem has been solved for few special classes of synchronizing automata. One ...
متن کاملOptimal Clock Allocation for a Class of Timed Automata
We address the problem of allocating a minimal number of clocks to timed automata. To make the problem tractable we assume that all locations are reachable. We identify a fairly general class of timed automata, TADS , for which there is an algorithm whose complexity is quadratic in the size of the graph.
متن کاملOn the Average Size of Glushkov's Automata
Glushkov’s algorithm builds an ε-free nondeterministic automaton from a given regular expression. In the worst case, its number of states is linear and its number of transitions is quadratic in the size of the expression. We show in this paper that in average, the number of transitions is linear.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- J. Comput. Syst. Sci.
دوره 24 شماره
صفحات -
تاریخ انتشار 1982